The Use of Proof Plans in Formal Methods
نویسنده
چکیده
The use of proof plans in formal methods Citation for published version: Bundy, A 1990, 'The use of proof plans in formal methods'. in A Miola (ed.), Design and implementation of General rights Copyright for the publications made accessible via the Edinburgh Research Explorer is retained by the author(s) and / or other copyright owners and it is a condition of accessing these publications that users recognise and abide by the legal requirements associated with these rights. Take down policy The University of Edinburgh has made every reasonable effort to ensure that Edinburgh Research Explorer content complies with UK legislation. If you believe that the public display of this file breaches copyright please contact [email protected] providing details, and we will remove access to the work immediately and investigate your claim.
منابع مشابه
A Unified Framework for Explanation-Based Generalization of Partially Ordered and Partially Instantiated Plans
Most previous work in explanation based generalization (EBG) of plans dealt with totally ordered plans. These methods cannot be directly applied to generalizing partially ordered partially instantiated plans, a class of plans that have received significant attention in planning. In this paper we present a natural way of extending the explanation-based generalization methods to partially ordered...
متن کاملA Comparative Study of Iranian and Turkish Formal Education System of Handicraft: With the approach of
Handicrafts, due to cultural and economic capabilities, have recently been featured in some countries as one of the subcategories of creative cultural industries and countries such as China, South Korea and the UK have made precise plans in this regard. Turkey, which has long cooperated with Iran in the field of handicrafts, is one of the leading countries in the field of cultural industries. S...
متن کاملDeveloping Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملComputationally secure multiple secret sharing: models, schemes, and formal security analysis
A multi-secret sharing scheme (MSS) allows a dealer to share multiple secrets among a set of participants. in such a way a multi-secret sharing scheme (MSS) allows a dealer to share multiple secrets among a set of participants, such that any authorized subset of participants can reconstruct the secrets. Up to now, existing MSSs either require too long shares for participants to be perfect secur...
متن کاملComparison of Strategic Plans of Universities and Institutes of Higher Education with a Quantitative Approach
Strategic planning in Iranian universities and institutes of higher education is generally prepared using strategic planning models introduced by experts and other universities. These programs will be published in the form of university strategic planning documents. These documents have such features that can be similar or different than the programming templates used. Existence of the similar...
متن کامل